√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

computation tree logic中文什么意思

發(fā)音:   用"computation tree logic"造句
  • 計算邏輯樹。
  • computation:    n. 1.計算，估算。 2.計算法。 3.計算結(jié)果，得數(shù) ...
  • tree:    n. 1.樹〔主要指喬木，也可指較大的灌木〕。 ★玫瑰可 ...
  • logic:    n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
  • journal of logic and computation:    邏輯和計算雜志; 邏輯與計算雜志
  • tree height computation:    樹頂?shù)挠嬎? 樹高的計算; 樹形結(jié)構(gòu)計算
下載手機詞典可隨時隨地查詞查翻譯

百科釋義

    Computation tree logic?(CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is realised. It is used in formal verification of software or hardware artifacts, typically by software applications known as model checkers which determine if a given artifact possesses safety or liveness properties.
    詳細百科解釋

相關(guān)詞匯

        computation:    n. 1.計算，估算。 2.計算法。 3.計算結(jié)果，得數(shù) ...
        tree:    n. 1.樹〔主要指喬木，也可指較大的灌木〕。 ★玫瑰可 ...
        logic:    n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
        journal of logic and computation:    邏輯和計算雜志; 邏輯與計算雜志
        tree height computation:    樹頂?shù)挠嬎? 樹高的計算; 樹形結(jié)構(gòu)計算
        computation:    n. 1.計算，估算。 2.計算法。 3.計算結(jié)果，得數(shù)。
        -logic:    -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應(yīng)的形容詞〕表示“…學(xué)的”： biological, philological.
        and logic:    “與”邏輯
        logic:    n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強盜邏輯，惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
        logic-and:    邏輯“與”
        or logic:    或邏輯
        a tree:    樹狀; 一棵樹; 一蔸樹
        in a tree:    在樹上
        in the tree:    在樹上（非樹本身）
        in tree:    內(nèi)樹型; 入樹
        into tree:    放在樹中
        on the tree:    長在樹上的，如果實一類的。; 在樹上(本身生出的); 在樹上（果實等）
        or tree:    或樹
        s tree:    無私奉獻的樹
        tree:    n. 特里〔姓氏〕。 n. 1.樹〔主要指喬木，也可指較大的灌木〕。 ★玫瑰可以稱為 bush, 也可以稱為 tree. 2.木料，木材；木構(gòu)件；〔古語〕絞首臺；〔the tree〕(釘死耶穌的)十字架；鞋楦。 3.樹形(物)，世系圖，家系 (＝family tree)；【數(shù)學(xué)】樹(形)；【化學(xué)】樹狀晶體。 a banana tree 香蕉樹。 an axle-tree 心棒，軸料。 a boot-tree 靴楦[型]。 a saddle-tree 鞍架。 at the top of the tree 在最高地位。 tree of Buddha 菩提樹。 tree of heaven 臭椿。 tree of knowledge (of good and evil) 【圣經(jīng)】知道善惡的樹，智慧之樹。 tree of life 生命之樹，生命力的源泉【植物；植物學(xué)】金鐘柏。 up a tree 〔口語〕進退兩難，不知所措。 vt. 趕(獵獸等)上樹躲避；〔口語〕使處于困境；窮追；把鞋型插入(鞋內(nèi))。
        a priori computation:    演繹計算
        abort computation:    異常中止計算; 異常終止計算
        accuracy in computation:    計算準(zhǔn)確度
        actual computation:    實際計算
        addre computation:    地址計算

其他語言

相鄰詞匯

  1. computation solid mechanics 什么意思
  2. computation space 什么意思
  3. computation speed 什么意思
  4. computation table 什么意思
  5. computation time 什么意思
  6. computation unit 什么意思
  7. computation unit of control processor 什么意思
  8. computation value 什么意思
  9. computation window 什么意思
  10. computation year 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.